تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۱,۲۵ ثانیه یافت شد.

1. Verification of object-oriented software : the KeY approach

پدیدآورنده : Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(

رده :

QA

76

.

L28

Vol

.

4334

2. oriented software-Verification of object

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented methods (Computer science) ; Java (Computer program language) ; -Computer software ; Verification. ; Object

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است